Comparing Timed C/E Systems with Timed Automata (Abstract)
نویسندگان
چکیده
Condition/Event systems 14] represent a continuous{time modeling framework used in control theory within the eld of discrete event dynamic systems. This model has been extended in 7] to include real{time aspects. Timed automata 2] are a widely accepted model for real{time systems. They have been intensively studied from diierent points of view leading to a variety of tools that analyze real{time systems modeled by timed automata. We investigate the relationship between timed C/E systems and timed automata. We provide an eeective function that associates to each timed C/E system an \equivalent" timed automaton. Equivalence is deened precisely in the paper but has to be understood here as describing essentially the same real{time behaviours. A beneet from providing such a function is that analysis tools, such as model checking tools, developed for timed automata can now be applied to analyse timed C/E systems. We also prove that timed automata can be translated into equivalent timed C/E systems.
منابع مشابه
Comparing Timed C / E Systems with TimedAutomata ?
We investigate the relationship between timed c/e systems 4] and timed automata 2]. We provide an eeective function that associates to each timed c/e system an \equivalent" timed automaton. Equivalence has to be understood here as describing essentially the same real{time behaviors. A beneet from providing such a function is that analysis tools developed for timed automata can now be applied to...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملAnalyzing Timed Systems Using Tree Automata
Timed systems, such as timed automata, are usually analyzed using their operational semantics on timed words. The classical region abstraction for timed automata reduces them to (untimed) finite state automata with the same time-abstract properties, such as state reachability. We propose a new technique to analyze such timed systems using finite tree automata instead of finite word automata. Th...
متن کاملRelations of Timed Event Graphs and Timed Automata in Fault Diagnosis
This paper investigates the relations between timed event graphs and timed automata that describe discrete–event systems subject to faults. An algorithm is presented for transforming a timed event graph into an equivalent timed automaton. The relations among the models of the faulty systems provides the basis for comparing diagnostic methods that have been developed in the past for these two ti...
متن کاملTimed Automata with non-Instantaneous Actions
In this paper we propose a model, timed automata with non-instantaneous actions, which allows representing in a suitable way real-time systems. Timed automata with non-instantaneous actions extend the timed automata model by dropping the assumption that actions are instantaneous: in our model an action can take some time to be completed. We investigate the expressiveness of the new model, compa...
متن کامل